acea103cb22b5de3a3cce78a8f89f08373123d2f,src/org/sosy_lab/solver/test/UfEliminationTest.java,UfEliminationTest,nestedUfs,#,103
In pattern: SUPERPATTERN
Frequency: 5
Non-data size: 3
Instances
1471511430
ottseb@fim.uni-passau.de
sosy-lab/java-smt,acea103cb22b5de3a3cce78a8f89f08373123d2f,src/org/sosy_lab/solver/test/UfEliminationTest.java,UfEliminationTest,nestedUfs,#,103
1471511430
ottseb@fim.uni-passau.de
sosy-lab/java-smt,acea103cb22b5de3a3cce78a8f89f08373123d2f,src/org/sosy_lab/solver/basicimpl/AbstractFormulaManager.java,AbstractFormulaManager,applyUFEImpl,#BooleanFormula#,224
1470236071
uni@philippwendler.de
sosy-lab/java-smt,dea0de77e07cda78433e4b0478c8ff05eb3c4fd9,src/org/sosy_lab/solver/test/UfEliminationTest.java,UfEliminationTest,quantifierTest,#,177
1471511430
ottseb@fim.uni-passau.de
sosy-lab/java-smt,acea103cb22b5de3a3cce78a8f89f08373123d2f,src/org/sosy_lab/solver/test/UfEliminationTest.java,UfEliminationTest,nestedUfs2,#,138
1471511430
ottseb@fim.uni-passau.de
sosy-lab/java-smt,acea103cb22b5de3a3cce78a8f89f08373123d2f,src/org/sosy_lab/solver/test/UfEliminationTest.java,UfEliminationTest,simpleTest,#,73